Fix a few small issues in xc_domain_dumpcore:
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 9 Mar 2006 22:07:27 +0000 (23:07 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 9 Mar 2006 22:07:27 +0000 (23:07 +0100)
commite7ccd01faf6a9f33b1fd4a2431ce25c5de8a9b38
treeeca0072bd066ef1cd40cab3a8ec405ac188b6d10
parentd27fbb006132147f73795ca4ad60a0e38b050b58
Fix a few small issues in xc_domain_dumpcore:

xc_domain_getinfo returns information about a domain, but not
necessarily the one you asked about.  Add check for this.

max_vcpu_id in xc_domain_getinfo is really an ID, not a count, so
make the loop include the last VCPU

Signed-off-by: Ben Thomas <ben@virtualiron.com>
tools/libxc/xc_core.c